COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	The DVIdover program converts a DVIfile (version 2, as generated by TEX82)
C00005 ENDMK
C⊗;
The DVIdover program converts a DVIfile (version 2, as generated by TEX82)
into a PRESS file and sends it to the Dover.

The simplest way to invoke the program is
	r dvidov; <dvi file name>
that will leave no trace of the PRESS file after it has been printed.

The program may be called with switches (one letter per switch):
	/s <press file name>...........	will put the output in the named file
	/m <integer>....................will use that number instead of the
					magnification given in the DVI file
	/f <spec of first page>.........first page printed will be the first
					page in the file whose tex counters
					match the given spec.
	/n <integer>....................maximum number of pages to print

The form of the specification for the first page is the same employed by DVItyp.
Thus, 2.*.-11.*.*.35 is the same as 2.*.-11.*.*.35.*.*
and both indicate the first page in the dvi file for which
\count0=2, \count2=-11 and \count5=35.
 
For example:
	r dvidov; foo/m 1800/s baz/f2/n 3
will generate a PRESS file named baz.pre in the user's directory with
magnification 1.8. This file will describe only pages 2,3,and 4 (assuming
\count0 has page number).

If the command line does not contain the name of a dvi file, or if
the given name does not correspond to an accessible file, the program
will initiate a dialog with the user. During this dialog the user
can give the name of the input file and also the spec of the first page
and number of pages to print if they were not given in the command line.